Видео с ютуба Формальная Аксиоматическая Теория

Математическая логика и теория алгоритмов 1. Формальные языки

ПМО как формальная аксиоматическая теория

Логика предикатов как формальная аксиоматическая теория

Логика суждений как формальная аксиоматическая теория

Печёнкин А. А. - Философия науки - 6. Формальная аксиоматическая система Гильберта

5.2.Формальные аксиоматические теории.Математическая логика и теория алгоритмов.

Илья Мещерин. Теория Множеств. Лекция 1